<div id="titlebox">
	<img id="logo" src="images/p_button_small.png" />

	<span id="title">
	PADRES MONITOR:
	</span>
	<span id="pagetitle">
	</span>

	<br />
	<span id="subtitle">
	</span>
</div>

<div id="titlebar">
Distributed Content-based Publish/Subscribe
</div>

<script type="text/javascript">
	setMonitorNameElem(document.getElementById("subtitle"));
	loadMonitorName();
	setPageTitleElem(document.getElementById("pagetitle"));
</script>
